double a sum